1. Cornerstones of undecidability /
پدیدآورنده : Grzegorz Rozenberg and Arto Salomaa
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Decidability (Mathematical logic),Unsolvability (Mathematical logic),équation diophantienne,indécidabilité,Logique,Mathematical logic,récursivité,théorie démonstration
رده :
QA9
.
63
.
R69
1994
2. L systems
پدیدآورنده : Edited by Grzegorz Rozenberg and Arto Salomaa
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، L systems
رده :
QH
491
.
L2
